Nuprl Definition : all
11,40
postcript
pdf
x
:
A
.
B
(
x
) ==
x
:
A
B
(
x
)
latex
Definitions
x
:
A
.
B
(
x
)
FDL editor aliases
axm, all
origin
x:A. B(x) == x:A
B(x) x:A. B(x) == x:AB(x) x:A. B(x)